翻訳と辞書 Words near each other ・ Strenger ・ Strengereid ・ Strengeriana ・ Strengholt Holding ・ Strengite ・ Strengleikar ・ Strengsdal ・ Strength ・ Strength & Health ・ Strength & Honour ・ Strength & Loyalty ・ Strength (band) ・ Strength (Enuff Z'nuff album) ・ Strength (explosive) ・ Strength (Japanese band) ・ Strength (mathematical logic) ・ Strength (Tarot card) ・ Strength (The Alarm album) ・ Strength and conditioning coach ・ Strength and Honour ・ Strength and Honour (album) ・ Strength athlete ・ Strength athletics ・ Strength athletics in Canada ・ Strength athletics in Finland ・ Strength athletics in Iceland ・ Strength athletics in Norway ・ Strength athletics in Sweden ・ Strength athletics in the United Kingdom and Ireland ・ Strength athletics in the United States Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Strength (mathematical logic) ： ウィキペディア英語版 Strength (mathematical logic) The relative strength of two systems of formal logic can be defined via model theory. Specifically, a logic $\backslash alpha$ is said to be as strong as a logic $\backslash beta$ if every elementary class in $\backslash beta$ is an elementary class in $\backslash alpha$.〔Heinz-Dieter Ebbinghaus ''Extended logics: the general framework'' in K. J. Barwise and S. Feferman, editors, ''Model-theoretic logics'', 1985 ISBN 0-387-90936-2 page 43〕 ==See also== * Abstract logic * Lindström's theorem 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Strength (mathematical logic)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.